Remove update_vcpu_system_time() call from the per-VCPU timer
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 22 Apr 2006 09:26:28 +0000 (10:26 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 22 Apr 2006 09:26:28 +0000 (10:26 +0100)
commitde4294617e8be76e4b7c3d4cae10e8a653cb3b84
tree857a61ff5ceddf5c1a5f11987ed72e859fb4c6e2
parentb14982374140d6030b992658473473089b3caf72
Remove update_vcpu_system_time() call from the per-VCPU timer
callback function. It's unnecessary and in fact may occasionally
even run on the wrong CPU.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/schedule.c